201. Trends and applications of mathematics to mechanics /
پدیدآورنده : edited by Elisabetta Rocca, Ulisse Stefanelli, Lev Truskinovsky, Augusto Visintin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering mathematics, Congresses.,Mechanics, Applied-- Mathematics, Congresses.,Building materials.,Calculus of variations.,Functional analysis.,Mathematical models.,Mathematical physics.,Mathematics.,Probabilities.,SCIENCE-- Mechanics-- General.,SCIENCE-- Mechanics-- Solids.
رده :
TA349
202. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
203. Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Lambda calculus -- Congresses
رده :
QA
9
.
5
.
I58
1993
204. Typed Lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Lambda calculus-- Congresses
رده :
QA
9
.
5
.
I58
1995
205. Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
پدیدآورنده : Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Lambda calculus - Congresses
رده :
QA
9
.
5
.
I58
1995
206. Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
پدیدآورنده : Pawel Urzyczyn
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
3461
207. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
9
.
5
.
I58
2001
208. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings
پدیدآورنده : Samson Abramsky )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2044
209. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
پدیدآورنده : Jean-Yves Girard )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1581
210. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
پدیدآورنده : Martin Hofmann )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2701
211. Typed lambda claculi and applications : International Conference on Typed Lam]b[ da Calculi and Applications, TLCA'93, March 16-18, 1993, Utrecht, the Netherlands: proceedings
پدیدآورنده : M. Bezem, J.F. Groote )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
664
212. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
پدیدآورنده : Philippe de Groote, J. Roger Hindley )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210
213. Uncertainty and intelligent information systems /
پدیدآورنده : editors, Bernadette Bouchon-Meunier [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
214. Unconventional models of computation, UMC'2K :
پدیدآورنده : I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
215. Variational analysis and aerospace engineering :
پدیدآورنده : Giuseppe Buttazzo, Aldo Frediani, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aerospace engineering-- Mathematics, Congresses.,Calculus of variations, Congresses.,Mathematical optimization, Congresses.
رده :
QA315
.
V37
2012eb
216. Variational and free boundary problems
پدیدآورنده : Avner Friedman, Joel Spruck editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Boundary value problems,Congresses ، Calculus of variations
رده :
QA
379
.
V3
217. Variational and free boundary problems
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Boundary value problems-- Congresses,، Calculus of variations-- Congresses
رده :
QA
379
.
V357
1993
218. Variational methods for equilibrium problems of fluids : Trento, 20-25 Juin 1983
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Fluid dynamics,Congresses ، Calculus of variations,Congresses ، Boundary value problems
رده :
QA
3
.
A78
Vol
.
118
219. Variational methods for evolving objects
پدیدآورنده : edited by Luigi Ambrosio...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Calculus of variations,Congresses ، Differential equations, Nonlinear,Congresses ، Differential equations, Partial
رده :
QA
315
.
V374
220. Variational methods in engineering : proceedings on an international conference held at the University of Southampton, 25th September, 1972
پدیدآورنده : / Edited by [C. A. Brebbia, H. Tottenham for the] Department of Civil Engineering, University of Southampton
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Calculus of variations - Congresses,Engineering - Congresses
رده :
TA347
.
C3V37
